`:top

`!Dexter Campbell Kozen`! (* `F33f`_`[20. Dezember`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=20._Dezember]`_`f `F33f`_`[1951`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=1951]`_`f) ist ein US-amerikanischer theoretischer Informatiker.

Kozen studierte am `F33f`_`[Dartmouth College`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Dartmouth_College]`_`f mit dem Bachelor-Abschluss in Mathematik `*summa cum laude`* 1974 und wurde 1977 bei `F33f`_`[Juris Hartmanis`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Juris_Hartmanis]`_`f an der `F33f`_`[Cornell University`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Cornell_University]`_`f in Informatik promoviert (Complexity of finitely presented algebras)`:cite-ref-1[`F5bf`_`[1`#cite-note-1]`_`f]. Als `F33f`_`[Postdoktorand`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Postdoktorand]`_`f war er an der `F33f`_`[University of California, Berkeley`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=University_of_California,_Berkeley]`_`f und danach ab 1978 Wissenschaftler bei `F33f`_`[IBM`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=IBM]`_`f Research in Yorktown Heights. 1981/82 war er Gastprofessor an der `F33f`_`[Universität Aarhus`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Universität_Aarhus]`_`f (und nochmals 1991/92) und 1984/85 Adjunct Professor an der `F33f`_`[Columbia University`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Columbia_University]`_`f. Ab 1985 war er Associate Professor und ab 1989 Professor für Informatik an der Cornell University (seit 1994 als Joseph Newton Pew Professor).

Kozen befasst sich mit `F33f`_`[Komplexitätstheorie`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Komplexitätstheorie]`_`f, speziell von Entscheidungsproblemen in Algebra und Logik, mit Logik und Semantik von Programmiersprachen und Computersicherheit.

Er leistete Beiträge zur `F33f`_`[Modallogik`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Modallogik]`_`f und ist mit `F33f`_`[Dana Scott`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Dana_Scott]`_`f und `F33f`_`[Jaco de Bakker`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Jaco_de_Bakker]`_`f Begründer des modalen μ μ {\\displaystyle \\mu } -Kalküls und einer der Begründer der Dynamischen Logik (mit `F33f`_`[David Harel`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=David_Harel]`_`f).

1976 führte er den Begriff der alternierenden `F33f`_`[Turingmaschine`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Turingmaschine]`_`f ein, unabhängig von Ashok Chandra und Larry Stockmeyer. Er war ein Pionier in probabilistischer Semantik und befasste sich mit maßtheoretischer Semantik für probabilistische Programme und arbeitete über Kleene-Algebren.

1989 fand er mit `F33f`_`[Susan Landau`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Susan_Landau_(Informatikerin)]`_`f einen Algorithmus zur Kompositions-Zerlegung von Polynomen (das heißt Auflösung von h=g(f), mit g, f, Polynomen höheren als ersten Grades und h der Komposition aus den gesuchten g und f), der in polynomialer Zeit erfolgreich war.

Er ist Fellow der `F33f`_`[Association for Computing Machinery`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Association_for_Computing_Machinery]`_`f (ACM) und der `F33f`_`[American Association for the Advancement of Science`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=American_Association_for_the_Advancement_of_Science]`_`f und war 1991 `F33f`_`[Guggenheim Fellow`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Guggenheim_Fellow]`_`f. 1980 erhielt er den Outstanding Innovation Award von `F33f`_`[IBM`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=IBM]`_`f (für die Arbeit zur Alternierung mit Ashok Chandra und Larry Stockmeyer). 2016 erhielt er den `F33f`_`[EATCS-Award`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=EATCS-Award]`_`f und den `F33f`_`[W. Wallace McDowell Award`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=W._Wallace_McDowell_Award]`_`f.

>>Contents

• `F0af`_`[Schriften`#schriften]`_`f

• `F0af`_`[Weblinks`#weblinks]`_`f

• `F0af`_`[Einzelnachweise und Anmerkungen`#einzelnachweise-und-anmerkungen]`_`f

-─

>>Schriften

• On parallelism in Turing machines, Proc. 17. Symp. Found. Comput. Sci. (FOCS), 1976, S. 89–97

• mit Ashok Chandra, Larry Stockmeyer: Alternation, J. ACM, Band 28, 1981, S. 114–133

• Semantics of probabilistic programs, J. Comp. Syst. Sci., Band 22, 1981, S. 328–350

• mit Rohit Parikh: An elementary proof of the completeness of PDL, Theoretical Computer Science, Band 14, 1981, S. 113–118

• Results on the Propositional μ-Calculus, Theoretical Computer Science, Band 27, 1983, S. 333–354.

• mit Susan Landau: Polynomial Decomposition Algorithms, Journal of Symbolic Computation, Band 7, 1989, S. 445–456

• mit Jerzy Tiuryn: Logics of programs, in: J. van Leeuwen, Handbook of Theoretical Computer Science, Band B, North Holland 1990, S. 789–840

• mit `F33f`_`[David Harel`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=David_Harel]`_`f, Jerzy Tiuryn: Dynamic Logic, MIT Press 2000

• mit David Harel, Jerzy Tiuryn: Dynamic Logic, in: D. M. Gabbay, F. Guenther, Handbook of Philosophical Logic, Band 4, Kluwer 2002, S. 99–217

• Theory of Computation, Springer 2006

>>Weblinks

• Homepage

• Zum EATCS Award für Kozen 2016

>>Einzelnachweise und Anmerkungen

`:cite-note-1`!1.`! `F0af`_`[↑`#cite-ref-1]`_`f Dexter Kozen im `F33f`_`[Mathematics Genealogy Project`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Mathematics_Genealogy_Project]`_`f (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet

`c`F0af`_`[↑ Back to top`#top]`_`f`a